Formal Specification Level by Mathias Soeken & Rolf Drechsler

Author:Mathias Soeken & Rolf Drechsler
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

As a result, the transformation procedure in an automatic reasoning tool is of high importance. In the experimental evaluation that has been performed it can be seen that the decision whether to use integers explicitly or to alternatively model the relation between the attributes by means of an ordering relation has a significant impact on the solving time. It should be noted that the model under verification was fairly small, however it can be considered as a small part that can be found in a model of larger scale. Hence, choosing the wrong transformation to the underlying solver formulation can lead to an exponential overhead. The word “verification” became fashionable again, and the adoption of model-checking tools by chip-manufacturers showed that engineers really could write formal models, and, if the benefit was great enough, would do it of their own accord. — Daniel Jackson, Software Abstractions (2006)

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.